1. Verification, Induction, Termination Analysis: Festschrift for Christoph Walther on the Occasion of His 60th Birthday
Author: / Brigitte Pientka (auth.), Simon Siegler, Nathan Wasser (eds.)
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: ARCHITECTURE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY&COMPUTER SCIENCE, HARDWARE
Classification :
E-BOOK
2. Verification, induction, termination analysis
Author: Simon Siegler, Nathan Wasser (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Walther, Christoph,Functional programming (Computer science)
Classification :
QA76
.
62
.
V47
2010eb
